Новая философская энциклопедия - чёрч алонзо
Связанные словари
Чёрч алонзо
чёрч алонзо
(14 июня 1903, Вашингтон -1995) — американский логик, математик, профессор Принстонского (1929—67) и Калифорнийского (с 1967) университетов. Внес значительный вклад в математическую логику, теорию алгоритмов, компьютерную математику. Развивал т. н. функциональный подход в основаниях математики, инициированный М. И. Шейнфинкелем. На основе введенного им оператора функциональной абстракции (ламбда-оператор) Чёрч построил исчисления конверсии и ввел понятие определимости: функция определима, если она может быть представлена как объект некоторого исчисления; следовательно, эффективно вычислима. Т. о., понятие определимости уточняет интуитивное понятие алгоритма. Чёрч привел первый пример (1935, опубликован в 1936) неразрешимого перечислимого множества. Доказал (1936) неразрешимость проблемы разрешения для узкого исчисления предикатов. Выдвинул (1936) т. н. тезис Чёрча: всякая эффективно вычислимая функция является общекурсивной. Чёрч известен также исследованиями в области логической семантики и модальной логики. Ему принадлежит известная «Библиография математической логики» от ее истоков до 1935 включительно. Чёрч — один из основателей журнала «Journal of Symbolic Logic» (1936) и его редактор до 1979. Соч.: A Set of Postulates for the Foundation of Logic.— «Annal Mathemathic», 1932, sei. 2, v. 33, N 2; 1933, sei. 2, v. 34, N 4; An Insolvable Problem of Elementary Number Theory.— «American Journal Mathemathic», 1936, v. 58, N 2; The Calcul of Lambda-cjnversion. Princeton, 1951; Введение в математическую логику, т. 1. М-, I960.
3. А. Кузичева, А. С. Кузшев
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2288 | |
2 | 1817 | |
3 | 1771 | |
4 | 1760 | |
5 | 1675 | |
6 | 1613 | |
7 | 1526 | |
8 | 1495 | |
9 | 1493 | |
10 | 1473 | |
11 | 1447 | |
12 | 1446 | |
13 | 1425 | |
14 | 1421 | |
15 | 1323 | |
16 | 1292 | |
17 | 1279 | |
18 | 1272 | |
19 | 1265 | |
20 | 1247 |